1. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F69
2000
2. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: (طهران)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F65
1999
3. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
4. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
6. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
7. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
8. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
